-
1 лямбда-выражение
Information technology: lambda expression (в лямбда-исчислении) -
2 лямбда-выражение
( в лямбда-исчислении) lambda expressionРусско-английский словарь по вычислительной технике и программированию > лямбда-выражение
-
3 альфа-преобразование
(в лямбда-исчислении - переименование формального параметра в абстрактную лямбда-структуру) alpha conversionРусско-английский словарь по вычислительной технике и программированию > альфа-преобразование
-
4 бета-редукция
( в лямбда-исчислении) beta reductionРусско-английский словарь по вычислительной технике и программированию > бета-редукция
См. также в других словарях:
Лямбда (буква) — Греческий алфавит Α α альфа Β β бета … Википедия
Лямбда-исчисление — (λ исчисление) формальная система, разработанная американским математиком Алонзо Чёрчем, для формализации и анализа понятия вычислимости. λ исчисление может рассматриваться как семейство прототипных языков программирования. Их основная… … Википедия
Лямбда — Греческий алфавит Αα Альфа Νν Ню … Википедия
Лямбда (символ) — Греческий алфавит Α α альфа Β β бета … Википедия
Лямбда исчисление — (λ исчисление, лямбда исчисление) формальная система, разработанная американским математиком Алонзо Чёрчем, для формализации и анализа понятия вычислимости. λ исчисление может рассматриваться как семейство прототипных языков программирования. Их… … Википедия
Λ — Греческий алфавит Α α альфа Β β бета … Википедия
Аппликативные вычислительные системы — Аппликативные вычислительные системы, или АВС, включают системы исчислений объектов, основанные на комбинаторной логике и ламбда исчислении[1]. Единственное, что существенно разрабатывается в этих системах это представление об объекте. В… … Википедия
Аппликативный подход к программированию — Аппликативный подход к написанию программы состоит в систематическом осуществлении применения одного объекта к другому. Результатом такого применения вновь является объект, который может участвовать в применениях как в роли функции, так и в роли… … Википедия
Аппликативное программирование — Аппликативный подход к написанию программы состоит в систематическом осуществлении применения одного объекта к другому. Результатом такого применения вновь является объект, который может участвовать в применениях как в роли функции, так и в роли… … Википедия
Тип данных — (встречается также термин вид данных) фундаментальное понятие теории программирования. Тип данных определяет множество значений, набор операций, которые можно применять к таким значениям и, возможно, способ реализации хранения значений и… … Википедия
Валютный тип — Тип данных Содержание 1 История 2 Определение 3 Необходимость использования типов данных … Википедия